#include <error.h>
#include <errno.h>
#include <libintl.h>
#include <pthread.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include <syslog.h>
#include <unistd.h>
#include <sys/prctl.h>
//#include <selinux/av_permissions.h>
//#include <selinux/avc.h>
//#include <selinux/flask.h>
//#include <selinux/selinux.h>

/* Determine if we are running on an SELinux kernel. Set selinux_enabled
   to the result.  */
void nscd_selinux_enabled (int *selinux_enabled)
{
    //*selinux_enabled = is_selinux_enabled ();
    
    if (*selinux_enabled < 0)
    {
        printf ("Failed to determine if kernel supports SELinux");
        exit (EXIT_FAILURE);
    }
}

int main()
{
    int is_selinux = -1;

    nscd_selinux_enabled(&is_selinux);
    return 0;
}
